/* 
 * File:   main.cpp
 * Author: bryan
 *
 * Created on September 5, 2013, 11:49 PM
 */

#include <cstdlib>
#include "Token.h"
#include "Scanner.h"
#include "DatalogProgram.h"
#include <string>
#include <iostream>
#include <fstream>

using namespace std;


int main(int argc, char** argv) {
	
	DatalogProgram data(argv[1]);
	data.isDatalogProgram();
	ofstream output;
	output.open(argv[2]);
	output << data.toString() << endl;
	output.close();
    return 0;
}

